Näytetään tulokset 1 - 10 / 574
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Priorities and Nonmonotonic Reasoning

Rintanen, J.
-1993 Julkaisujen tiedon ikoni

Petri Net Analysis and Nonmonotonic Reasoning

Vertaisarvioitu
Heljanko, Keijo; Niemelä, Ilkka
Helsinki University of Technology2000 Julkaisujen tiedon ikoni

Stratification and Tractability in Nonmonotonic Reasoning

Rintanen, J.
-1992 Julkaisujen tiedon ikoni

DES: a Challenge Problem for Nonmonotonic Reasoning Systems

Vertaisarvioitu
Hietalahti, Maarit; Massacci, Fabio; Niemelä, Ilkka
CoRR - Computing Research Repository2000 Julkaisujen tiedon ikoni

Report on the seventh international workshop on nonmonotonic reasoning

Brewka, G.; Niemelä, I.
AI Magazine1998 Julkaisujen tiedon ikoni

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Vertaisarvioitu
DOI
10.1016/B978-044450813-3/50021-7
Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka
Elsevier2001 Julkaisujen tiedon ikoni

Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning

Niemelä, Ilkka
Helsinki University of Technology1993 Julkaisujen tiedon ikoni

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Vertaisarvioitu
Niemelä, I.; Rintanen, J.
SPRINGER1994 Julkaisujen tiedon ikoni

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Vertaisarvioitu
Niemelä, I.; Rintanen, J.
Journal of Applied Non-Classical Logics1994 Julkaisujen tiedon ikoni

Nonmonotonic Reasoning

Vertaisarvioitu
DOI
10.1016/S1574-6526(07)03006-4
Brewka, Gerhard; Niemelä, Ilkka; Truszczynski, Miroslaw
Foundations of Artificial Intelligence2008

Priorities and Nonmonotonic Reasoning

1993

Petri Net Analysis and Nonmonotonic Reasoning

Vertaisarvioitu
2000

Stratification and Tractability in Nonmonotonic Reasoning

1992

DES: a Challenge Problem for Nonmonotonic Reasoning Systems

Vertaisarvioitu
2000

Report on the seventh international workshop on nonmonotonic reasoning

1998

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Vertaisarvioitu
DOI
10.1016/B978-044450813-3/50021-7
2001

Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning

1993

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Vertaisarvioitu
1994

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Vertaisarvioitu
1994

Nonmonotonic Reasoning

Vertaisarvioitu
DOI
10.1016/S1574-6526(07)03006-4
2008